1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP8W/3AKP82P |
Repositório | sid.inpe.br/mtc-m18/2011/10.18.00.53 |
Última Atualização | 2011:10.18.00.53.24 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m18/2011/10.18.00.53.24 |
Última Atualização dos Metadados | 2020:11.26.13.55.08 (UTC) administrator |
Chave de Citação | JúniorVija:2011:ExSOMe |
Título | Extending the SOLIMVA methodology to address incompleteness in software specifications |
Formato | On-line. |
Ano | 2011 |
Data de Acesso | 22 maio 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 139 KiB |
|
2. Contextualização | |
Autor | 1 Júnior, Valdivino Santiago 2 Vijaykumar, Nandamudi Lankalapalli |
Grupo | 1 DAS-CEA-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Editor | Castro, Ana Paula Abrantes de Drummond, Isabela Neves Sandri, Sandra Aparecida |
Endereço de e-Mail | worcap2011.comissaoprograma@gmail.com |
Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 11 (WORCAP). |
Localização do Evento | São José dos Campos |
Data | 8-10 nov. 2011 |
Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade da Editora | São José dos Campos |
Título do Livro | Anais |
Organização | Instituto Nacional de Pesquisas Espaciais (INPE) |
Histórico (UTC) | 2011-12-02 11:56:33 :: worcap2011.comissaoprograma@gmail.com -> secretaria.cpa@dir.inpe.br :: 2011 2011-12-06 16:19:44 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011 2012-07-14 19:35:18 :: administrator -> secretaria.cpa@dir.inpe.br :: 2011 2012-08-10 02:36:14 :: secretaria.cpa@dir.inpe.br -> amarisio5@gmail.com :: 2011 2012-08-11 01:10:56 :: amarisio5@gmail.com -> administrator :: 2011 2020-11-26 13:55:08 :: administrator -> amarisio5@gmail.com :: 2011 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | SOLIMVA Methodology Incompleteness Software Specifications Model Checking k-permutations of n |
Resumo | Incompleteness in software requirements specifications affects the next software artifacts, including source code, developed within the software development lifecycle. This work extends the SOLIMVA methodology to address incompleteness in software specifications. We used Model Checking combined with k-permutations of n values of variables and specification patterns to tackle this problem. We present the results of applying our approach to a software product in the space application domain. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Extending the SOLIMVA... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Extending the SOLIMVA... |
Arranjo 3 | urlib.net > BDMCI > Fonds > WORCAP > Extending the SOLIMVA... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/3AKP82P |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/3AKP82P |
Idioma | pt |
Arquivo Alvo | worcap2011_submission_5.pdf |
Grupo de Usuários | administrator amarisio5@gmail.com secretaria.cpa@dir.inpe.br worcap2011.comissaoprograma@gmail.com |
Visibilidade | shown |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2005/09.28.12.40 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH 8JMKD3MGP8W/38ELNHL |
Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | amarisio5@gmail.com |
atualizar | |
|